ОСНОВЫ МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ И АЛГОРИТМИЗАЦИИ (Устенко А.С.)

содержание об авторе часть1 часть2 часть3 часть4 литература

ОСНОВЫ МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ И АЛГОРИТМИЗАЦИИ
ПРОЦЕССОВ ФУНКЦИОНИРОВАНИЯ СЛОЖНЫХ СИСТЕМ
		В книге Устенко Анатолия Семеновича рассматриваются методические вопросы создания и применения математических моделей в процессе научных исследований. Формулируются основные понятия и принципы моделирования как метода научного познания. Определяются основные этапы разработки математических моделей сложных систем и процессов, методические подходы к выполнению начальных этапов моделирования: концептуального проектирования, формализации и алгоритмизации моделей. Значительное внимание уделено изложению нового математического аппарата: теории обобщенных кодов подмножеств, многозначной математической и вероятностной логики, метода синтеза логических структур алгоритмов. Предлагается концепция объектно-классификационного моделирования сложных систем любой природы. Книга предназначена для научных работников, преподавателей ВУЗ-ов, аспирантов и адъюнктов, занимающихся вопросами математического моделирования и алгоритмизации сложных систем и процессов. Метод синтеза логических структур алгоритмов результативно использовали работчики специального программного обеспечения. (контактный email: ustenko@fromru.com )
	ОБ АВТОРЕ Доктор технических наук, профессор.

После окончания адъюнктуры работал в 50-м ЦНИИ КС МО с 1968 г. по 1991 г., из них 15 лет - в должности начальника научно-исследовательского отдела. С 1991 года - ведущий научный сотрудник 50 ЦНИИ КС, а после его закрытия, ведущий научный сотрудник 4 ЦНИИ МО (РВСН).

Специалист в области военной и технической кибернетики, информатики, системного анализа, исследования операций и моделирования систем и боевых действий.

Его основными направлениями научных исследований являются теоретические основы и эффективные методы алгоритмизации сложных задач моделирования и принятия решений в АСУ Ракетно-космическими войсками и средствами, а также системный анализ и проблемы создания специального математического и программного обеспечения АСУВ.

Участвовал в качестве ответственного исполнителя или научного руководителя тем НИР в военно-техническом обосновании и научном сопровождении создания и развития Наземного автоматизированного комплекса управления (НАКУ) полетами КА (1969-1972 гг) и АСУ Военно-космическими средствами (1975-1985 гг, темы НИР “Cтруктура”, “Контур”, “Уранит” и др.). Руководил созданием системного программного обеспечения Информационно-моделирующего комплекса института (1975-1980 гг), разработкой программного обеспечения ряда командно-штабных математических моделей и задач применения космических средств и управления войсками (НИР “Противоборство”, “Симфония”, 1980-1990гг). За реализацию этих работ в ГШ МО и ГШ ВКС награжден орденом Красной Звезды.

Основал научную школу по методам проектирования алгоритмических процессов и специального математического обеспечения центров управления ВКС. Подготовил одиннадцать кандидатов технических наук.

Опубликовал около 100 научных работ, 10 из них - печатные.

ОТ АВТОРА

Разработка специального программного обеспечения АСУ войсками представляет собой реализацию математических методов, моделей и алгоритмов, применяемых для решения задач управления войсками с помощью современных информационных технологий. Поэтому обобщение и дальнейшее развитие методических основ моделирования и алгоритмизации сложных процессов является актуальной научно-исследовательской проблемой, решение которой обеспечивает необходимый теоретический уровень и качество создаваемого программного обеспечения.

В настоящей работе излагаются результаты исследований в этой области, выполненных автором в течение ряда лет. Работа состоит из четырех разделов. В первом разделе изложены теоретические основы математического моделирования процессов функционирования сложных систем. Даны определения исходных понятий, основанные на принципах теории отражения и теории подобия. В общем виде рассматривается методология математического моделирования сложных процессов.

Во втором разделе изложены результаты теоретического обобщения формальных математических систем (исчисления множеств, исчисления высказываний и логических функций). Изложены результаты разработанных автором теории исчисления обобщенных кодов подмножеств и теории многозначных логических функций общего класса. Изложены методы проектирования логических схем алгоритмов на основе предложенной автором типовой структуры алгоритма и новых методов анализа и синтеза многозначных логических функций.

Предложен подход к оценке сложности логических задач и алгоритмов, основанный на понятии энтропии принятия решения.

В третьем разделе на примерах излагается методика концептуального проектирования математических моделей процессов функционирования различных систем.

В четвертом разделе излагается предлагаемая автором концепция обьектно-классификационного моделирования сложных систем любой природы и делается попытка формализации этой концепции.

Продолжение исследований в данном направлении может оказаться весьма результативным, особенно при приложении вышеуказанных формальных методов к проектированию логических схем диалоговых систем, баз данных и при создании формальных методов объектного программирования.

Метод оценки сложности логических задач и алгоритмов может быть использован при оценке трудозатрат на проектирование и разработку СПО.

содержание об авторе часть1 часть2 часть3 часть4 литература